翻訳と辞書 Words near each other ・ Hercule Nicolet ・ Hercule Poirot ・ Hercule Poirot in literature ・ Hercule Poirot's Christmas ・ Hercule, Duke of Montbazon ・ Hercule-class ship of the line ・ Hercule-Louis Turinetti, marquis of Prié ・ Herculea ・ Herculean (song) ・ Herculean Effort Productions ・ Herculean Sarcophagus of Genzano ・ Hercules ・ Hercules & Xena Roleplaying Game ・ Herboso ・ Herbow ・ Herbrand Award ・ Herbrand interpretation ・ Herbrand Lavik ・ Herbrand Lofthus ・ Herbrand quotient ・ Herbrand Russell, 11th Duke of Bedford ・ Herbrand Sackville, 9th Earl De La Warr ・ Herbrand structure ・ Herbrand's theorem ・ Herbrandization ・ Herbrandston ・ Herbrand–Ribet theorem ・ Herbrechtingen ・ Herbringhauser Bach ・ Herbs (band) Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Herbrand Award ： ウィキペディア英語版 Herbrand Award The Herbrand Award for Distinguished Contributions to Automated Reasoning is an award given by CADE Inc. (although it predates the formal incorporation of CADE) to honour persons or groups for important contributions to the field of automated deduction. The award is named after the French scientist Jacques Herbrand and given at most once per CADE or IJCAR conference. It comes with an endowment of US$ 1000. Anyone can be nominated, the award is awarded after a vote among CADE trustees and former recipients, usually with input from the CADE/IJCAR programme committee. Past recipients of the award are: * Larry Wos (1992) * Woody Bledsoe (1994) * John Alan Robinson (1996) * Wu Wenjun (1997) * Gérard Huet (1998) * Robert S. Boyer and J Strother Moore (1999) * William W. McCune (2000) * Donald W. Loveland (2001) * Mark E. Stickel (2002). * Peter B. Andrews (2003) * Harald Ganzinger (2004) * Martin Davis (2005) * Wolfgang Bibel (2006) * Alan Bundy (2007) * Edmund M. Clarke (2008) * Deepak Kapur (2009) * David Plaisted (2010) * Nachum Dershowitz (2011) * Melvin Fitting (2012) * C Greg Nelson (2013) * Robert L. Constable (2014) * Andrei Voronkov (2015) == External links == * (The Herbrand Award for Distinguished Contributions to Automated Reasoning ) 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Herbrand Award」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.